Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
561	Hybrid cells derived from breast epithelial cell/breast cancer cell fusion events show a differential RAF-AKT crosstalk Add to Reading List Source URL: www.biosignaling.com Language: English Scientific method Laboratory techniques Drug discovery Cell biology Formal sciences High-content screening Model organism CellProfiler Flow cytometry Science Biology Microscopy
562	Flexible Enrichment with Cortana – Software Demo Keywords: subgroup discovery, enrichment, software Marvin Meeng LIACS, Leiden University, Niels Bohrweg 1, 2333 CA, Leiden, The Netherlands Add to Reading List Source URL: www.kiminkii.com Language: English - Date: 2011-06-21 04:29:49 Formal sciences DAVID Systems biology Gene Ontology Ensembl Data mining Gene expression profiling Science Bioinformatics Biological databases
563	The GeoLink Modular Oceanography Ontology Adila Krisnadhi1,8 , Yingjie Hu2 , Krzysztof Janowicz2 , Pascal Hitzler1 , Robert Arko3 , Suzanne Carbotte3 , Cynthia Chandler4 , Michelle Cheatham1 , Douglas Fils5 , Timothy Fin Add to Reading List Source URL: daselab.cs.wright.edu Language: English - Date: 2015-04-30 18:25:27 Information science Technical communication Knowledge representation Knowledge Semantic Web Upper ontology Formal ontology Software design pattern Description logic Ontology Information Science
564	SCiO Open Event (Manchester) Monday 8th Oct10am-4.30pm) Manchester Business School - Room 2.40 Booth Street West, Manchester M15 6PB . Session 1: Add to Reading List Source URL: sociocybernetics.unizar.es Language: English - Date: 2012-10-01 03:39:46 Systems science Cybernetics Formal sciences Control theory Systems Systems thinking Working group Facilitation Decision making Systems theory Science Knowledge
565	㏾㜷⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰⌦㬰 Add to Reading List Source URL: webdatanet.cbs.dk Language: English - Date: 2014-10-23 05:27:21 Survey methodology Marketing Econometrics Formal sciences Research methods Official statistics Big data Data collection Survey data collection Science Information Statistics
566	On the topological complexity of weakly recognizable tree languages Jacques Duparc1 and Filip Murlak2? 1 Universit´e de Lausanne, Switzerland Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2007-06-16 19:01:23 Mathematical logic Mathematics Omega language Tree Wadge hierarchy Determinacy Symbol Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
567	Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi Add to Reading List Source URL: sygus.seas.upenn.edu Language: English - Date: 2015-01-10 00:32:21 Predicate logic Theoretical computer science Formal methods NP-complete problems First-order logic Satisfiability Modulo Theories Expression Type system Function Mathematics Logic Mathematical logic
568	Penetrating the Fog: Analytics in Learning and Education Add to Reading List Source URL: net.educause.edu Language: English - Date: 2011-09-09 10:09:50 Science Formal sciences Learning Analytics Education Learning analytics Massive open online course ADAPA Data mining Data analysis Statistics Business intelligence
569	BRICS DS-05-2 J. Iversen: Formalisms and tools supporting Constructive Action Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-01-15 18:51:53 Programming language semantics Action semantics Formal languages Peter Mosses Programming language SYNTAX ASF+SDF Meta Environment Programming language theory Theoretical computer science Software engineering
570	Embedded High Performance Analytics Turbo Charge Your Analytics Simularity provides the first and only real time similarity and correlation analytics software for Add to Reading List Source URL: simularity.com Language: English - Date: 2014-09-18 10:45:32 Business intelligence Science Data modeling Technology development Transaction processing Analytics Big data Web analytics Google Analytics Technology Data management Formal sciences

UPDATE